/*
 * MapaFileFilter.java
 *
 * Created on March 31, 2007, 7:23 PM
 *
 * To change this template, choose Tools | Template Manager
 * and open the template in the editor.
 */

package editorlabirinto;

/**
 *
 * @author thiago
 */
import java.io.File;
import javax.swing.*;
import javax.swing.filechooser.*;

public class MapaFileFilter extends FileFilter
{

    public boolean accept(File f)
    {
        if (f.isDirectory())
        {
            return true;
        }

        String extension = MapaFileFilter.getExtension(f);
        if (extension != null)
        {
            if (extension.equals("map"))
            {
                return true;    
            }
            else
            {
                return false;
            }
        }

        return false;
    }

    public String getDescription()
    {
        return "Arquivos de mapas";
    }
    
    private static String getExtension(File f)
    {
        String ext = null;
        String s = f.getName();
        int i = s.lastIndexOf('.');

        if (i > 0 &&  i < s.length() - 1)
        {
            ext = s.substring(i+1).toLowerCase();
        }
        return ext;
    }
}
